void timestamp( char *target, time_t *time );
void donestamps();
